Exercitiu: Formule In Logica Predicatelor. Aplicarea Rezolutiei